Ouchani, Samir : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (19)
Les plus populaires
Liste
- Liste
- Tableau

1

A formal verification framework for SysML activity diagrams

Ouchani, Samir, Mohamed, Otmane Aït, Debbabi, Mourad

Journal:

Expert Systems with Applications

Année:

2014

Langue:

english

Fichier:

PDF, 2.34 MB

english, 2014

2

[IEEE 2019 IEEE/ACS 16th International Conference on Computer Systems and Applications (AICCSA) - Abu Dhabi, United Arab Emirates (2019.11.3-2019.11.7)] 2019 IEEE/ACS 16th International Conference on Computer Systems and Applications (AICCSA) - A Meta Language for Cyber-Physical Systems and Threats: Application on Autonomous Vehicle

Ouchani, Samir, Khaled, Abdelaziz

Année:

2019

Langue:

english

Fichier:

PDF, 619 KB

english, 2019

3

A property-based abstraction framework for SysML activity diagrams

Ouchani, Samir, Aït Mohamed, Otmane, Debbabi, Mourad

Journal:

Knowledge-Based Systems

Année:

2014

Langue:

english

Fichier:

PDF, 2.50 MB

english, 2014

4

Symmetry Reduction of Time-Triggered Ethernet Protocol

Ammar, Marwan, Ouchani, Samir, Mohamed, Otmane Aït

Journal:

Procedia Computer Science

Année:

2013

Langue:

english

Fichier:

PDF, 423 KB

english, 2013

5

Attacks Generation by Detecting Attack Surfaces

Ouchani, Samir, Lenzini, Gabriele

Journal:

Procedia Computer Science

Année:

2014

Langue:

english

Fichier:

PDF, 324 KB

english, 2014

6

[IEEE 2009 9th International Conference on Quality Software (QSIC) - Jeju, Korea (South) (2009.08.24-2009.08.25)] 2009 Ninth International Conference on Quality Software - A Survey of Model-Driven Testing Techniques

Mussa, Mohamed, Ouchani, Samir, Sammane, Waseem Al, Hamou-Lhadj, Abdelwahab

Année:

2009

Langue:

english

Fichier:

PDF, 255 KB

english, 2009

7

[IEEE 2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT) - Budapest, Hungary (2013.09.22-2013.09.24)] 2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT) - A probabilistic verification framework of SysML activity diagrams

Ouchani, Samir, Mohamed, Otmane Ait, Debbabi, Mourad

Année:

2013

Langue:

english

Fichier:

PDF, 942 KB

english, 2013

8

[IEEE 2012 24th International Conference on Microelectronics (ICM) - Algiers, Algeria (2012.12.16-2012.12.20)] 2012 24th International Conference on Microelectronics (ICM) - A non-convex classifier support for abstraction-refinement framework

Ouchani, Samir, Ait'Mohamed, Otmane, Debbabi, Mourad

Année:

2012

Langue:

english

Fichier:

PDF, 114 KB

english, 2012

9

[IEEE 2013 7th IEEE International Conference on Software Security and Reliability (SERE) - Gaithersburg, MD, USA (2013.06.18-2013.06.20)] 2013 IEEE 7th International Conference on Software Security and Reliability - A Security Risk Assessment Framework for SysML Activity Diagrams

Ouchani, Samir, Mohamed, Otmane Ait, Debbabi, Mourad

Année:

2013

Langue:

english

Fichier:

PDF, 381 KB

english, 2013

10

Specification, verification, and quantification of security in model-based systems

Ouchani, Samir, Debbabi, Mourad

Journal:

Année:

2015

Langue:

english

Fichier:

PDF, 231 KB

english, 2015

11

Generating attacks in SysML activity diagrams by detecting attack surfaces

Ouchani, Samir, Lenzini, Gabriele

Journal:

Journal of Ambient Intelligence and Humanized Computing

Année:

2015

Langue:

english

Fichier:

PDF, 1.16 MB

english, 2015

12

[IEEE 2011 International Conference on Innovations in Information Technology (IIT) - Abu Dhabi, United Arab Emirates (2011.04.25-2011.04.27)] 2011 International Conference on Innovations in Information Technology - Security estimation in Streaming Protocols

Ouchani, Samir, Jarraya, Yosr, Mohamed, Otmane Ait, Debbabi, Mourad

Année:

2011

Langue:

english

Fichier:

PDF, 280 KB

english, 2011

13

A quantitative verification framework of SysML activity diagrams under time constraints

Baouya, Abdelhakim, Bennouar, Djamal, Mohamed, Otmane Ait, Ouchani, Samir

Journal:

Expert Systems with Applications

Année:

2015

Langue:

english

Fichier:

PDF, 2.38 MB

english, 2015

14

Security analysis of socio-technical physical systems

Lenzini, Gabriele, Mauw, Sjouke, Ouchani, Samir

Journal:

Computers & Electrical Engineering

Année:

2015

Langue:

english

Fichier:

PDF, 2.61 MB

english, 2015

15

[IEEE 2015 12th International Symposium on Programming and Systems (ISPS) - Algiers, Algeria (2015.4.28-2015.4.30)] 2015 12th International Symposium on Programming and Systems (ISPS) - A probabilistic and timed verification approach of SysML state machine diagram

Baouya, Abdelhakim, Bennouar, Djamal, Mohamed, Otmane Ait, Ouchani, Samir

Année:

2015

Langue:

english

Fichier:

PDF, 2.70 MB

english, 2015

16

[IEEE 2017 IEEE Workshop on Information Forensics and Security (WIFS) - Rennes, France (2017.12.4-2017.12.7)] 2017 IEEE Workshop on Information Forensics and Security (WIFS) - Security in the shell: An optical physical unclonable function made of shells of cholesteric liquid crystals

Lenzini, Gabriele, Ouchani, Samir, Roenne, Peter, Ryan, Peter Y. A., Geng, Yong, Lagerwall, Jan, Noh, JungHyun

Année:

2017

Langue:

english

Fichier:

PDF, 231 KB

english, 2017

17

Recommendations-based on semantic analysis of social networks in learning environments

Khaled, Abdelaziz, Ouchani, Samir, Chohra, Chemseddine

Journal:

Computers in Human Behavior

Année:

2018

Langue:

english

Fichier:

PDF, 1.27 MB

english, 2018

18

Safety analysis of train control system based on model-driven design methodology

Baouya, Abdelhakim, Ait Mohamed, Otmane, Bennouar, Djamal, Ouchani, Samir

Journal:

Computers in Industry

Année:

2019

Langue:

english

Fichier:

PDF, 3.57 MB

english, 2019

19

A Recursive K-means towards trade-off between PLM Competences, Positions, and Offers

Messaadia, Mourad, Ouchani, Samir, Louis, Anne

Journal:

Procedia Computer Science

Année:

2018

Langue:

english

Fichier:

PDF, 431 KB

english, 2018